https://www.masdayat.net/2020/10/log-x2-6x-16-log-11.html
¼log (x2 - 6x - 16) ≥ ¼log 11